<?php
print ();